Handbook of Modal Logic
Patrick Blackburn
,
Johan van Benthem
,
Frank Wolter
,その他
様相論理
のハンドブック